Greatest solutions of equations in $\text{CLL}_R$ and its application
نویسندگان
چکیده
This paper explores the process calculus CLLR furtherly. First, we prove that for any equation X =RS tX such that X is strongly guarded in tX , 〈X |X = tX〉 is the largest solution w.r.t ⊑RS . Second, we encode a fragment of action-based CTL in CLLR.
منابع مشابه
On the greatest solution of equations in $\text{CLL}_R$
It is shown that, for any equation X =RS tX in the LLTS-oriented process calculus CLLR, if X is strongly guarded in tX , then the recursive term 〈X |X = tX〉 is the greatest solution of this equation w.r.t Lüttgen and Vogler’s ready simulation.
متن کاملThe modified simplest equation method and its application
In this paper, the modified simplest equation method is successfully implemented to find travelling wave solutions of the generalized forms $B(n,1)$ and $B(-n,1)$ of Burgers equation. This method is direct, effective and easy to calculate, and it is a powerful mathematical tool for obtaining exact travelling wave solutions of the generalized forms $B(n,1)$ and $B(-n,1)$ of Burgers equation and ...
متن کاملA wavelet method for stochastic Volterra integral equations and its application to general stock model
In this article,we present a wavelet method for solving stochastic Volterra integral equations based on Haar wavelets. First, we approximate all functions involved in the problem by Haar Wavelets then, by substituting the obtained approximations in the problem, using the It^{o} integral formula and collocation points then, the main problem changes into a system of linear or nonlinear equation w...
متن کاملApplication of the tan(phi/2)-expansion method for solving some partial differential equations
In this paper, the improved -expansion method is proposed to solve the Kundu–Eckhaus equation and Gerdjikov–Ivanov model. The applied method are analytical methods to obtaining the exact solutions of nonlinear equations. Here, the aforementioned methods are used for constructing the soliton, periodic, rational, singular and solitary wave solutions for solving some equations. We obtained furthe...
متن کاملApplication of the new extended (G'/G) -expansion method to find exact solutions for nonlinear partial differential equation
In recent years, numerous approaches have been utilized for finding the exact solutions to nonlinear partial differential equations. One such method is known as the new extended (G'/G)-expansion method and was proposed by Roshid et al. In this paper, we apply this method and achieve exact solutions to nonlinear partial differential equations (NLPDEs), namely the Benjamin-Ono equation. It is est...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1411.0756 شماره
صفحات -
تاریخ انتشار 2014